La conjecture de Langlands locale pour $GL(3)$

Algorithmes pour Vérifier La Conjecture De Syracuse

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Utilisation de BPEL pour la gestion des processus métier d'une application locale

Résumé. Nous présentons ici les différentes étapes et techniques de développement choisies pour l’informatisation du traitement des prestations familiales des travailleurs frontaliers du Luxembourg. Après avoir expliqué le cadre, les enjeux et le déroulement global du projet, nous présentons notre utilisation d’un moteur de processus basé sur BPEL et de développement dirigé par des modèles, ces...

Recherche locale dichotomique pour la résolution des CSP continus

RÉSUMÉ. Nous présentons un algorithme heuristique pour déterminer une solution d’un problème de satisfaction de contraintes continu. Cet algorithme, appelé Recherche Locale Dichotomique ( ), combine la recherche locale, la bissection et la contraction d’intervalles avec la propagation de contraintes. Nous présentons des résultats expérimentaux et les comparons avec un algorithme de recherche lo...

Méthodes et outils informatiques pour la commande locale ou distante de systèmes réactifs

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...